Search Results
[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic
Semantics of Higher-Order Probabilistic Programs with Conditioning
[LAFI'22] Probabilistic and Differentiable Programming in Scientific Simulators
[LAFI'22] Program Analysis of Probabilistic Programs
Christine Tasson: "Probabilistic Programming and Semantics"
Semantic models for higher-order Bayesian inference - Sam Staton, University of Oxford
Sam Staton, "Names and probabilities"
[LAFI'22] Programming Languages for Automatic Differentiation: What Now?
Tutorial: Probabilistic Programming and Semantics (Christine Tasson)
Semantic Foundations for Probabilistic Programming
A Domain Theory for Statistical Probabilistic Programming
Ohad Kammar: An introduction to statistical modelling semantics with higher-order measure theory
![[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic](https://img.youtube.com/vi/ZaSFbnMB8SM/hqdefault.jpg)
![[LAFI'22] Probabilistic and Differentiable Programming in Scientific Simulators](https://img.youtube.com/vi/sEN1ID4a42E/hqdefault.jpg)
![[LAFI'22] Program Analysis of Probabilistic Programs](https://img.youtube.com/vi/617cLBYvP9Q/hqdefault.jpg)
![[LAFI'22] Programming Languages for Automatic Differentiation: What Now?](https://img.youtube.com/vi/_F8Ionxxz-s/hqdefault.jpg)
